201. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
202. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
203. Industrial networks and intelligent systems :
پدیدآورنده : Trung Q Duong, Nguyen-Son Vo (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Industrial applications, Congresses.,Expert systems (Computer science), Congresses.,Computer networks-- Industrial applications.,Expert systems (Computer science)
رده :
TK5105
.
5
204. Informatics in schools :
پدیدآورنده : Sergei N. Pozdniakov, Valentina Dagienė (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Education-- Information technology, Congresses.,Computer Appl. in Social and Behavioral Sciences.,Computers and Education.,Educational Technology.,Software Engineering/Programming and Operating Systems.,Computer-assisted instruction.,Computers-- Data Processing.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (Calif.),Society & social sciences.,Software Engineering.
رده :
LB1028
.
43
205. Information and communication technologies in tourism 2000 :
پدیدآورنده : Daniel R. Fesenmaier, Stefan Klein, Dimitrios Buhalis (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information technology -- Congresses.,Information technology.,Tourism -- Data processing -- Congresses.
206. Information computing and applications :
پدیدآورنده : Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
207. Information computing and applications :
پدیدآورنده : Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
208. Information systems and technologies to support learning :
پدیدآورنده : Álvaro Rocha, Mohammed Serrhini, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
رده :
LB1028
.
3
209. Information systems development :
پدیدآورنده : Jaroslav Pokorny [and others], editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information resources management, Congresses,Software engineering, Congresses,Business Information Systems,Computer Science,Computer Science, general,Database Management,Information Storage and Retrieval,Software Engineering/Programming and Operating Systems
رده :
QA76
.
758
.
I54
2011
210. Integrated formal methods
پدیدآورنده : John Derrick ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2012eb
211. Intelligent, secure, and dependable systems in distributed and cloud environments :
پدیدآورنده : Issa Traore, Isaac Woungang, Sherif Saad Ahmed, Yasir Malik (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing-- Security measures, Congresses.,Computer networks-- Security measures, Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer networks-- Security measures.,Computer security.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Information retrieval.,Network hardware.
رده :
TK5105
.
59
212. Intelligent tutoring systems :
پدیدآورنده : edited by Andre Coy, Yugo Hayashi, Maiga Chang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Intelligent tutoring systems, Congresses.,Computer-assisted instruction.,Intelligent tutoring systems.
رده :
LB1028
.
73
.
I58
2019
213. KI-98:
پدیدآورنده : Otthein Herzog
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.,Künstliche Intelligenz
214. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
215. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5
216. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
217. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامهنویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرمافزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
218. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
219. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
220. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67